Tham khảo Logic

  • Nuel Belnap, (1977). "A useful four-valued logic". In Dunn & Eppstein, Modern uses of multiple-valued logic. Reidel: Boston.
  • Józef Maria Bocheński (1959). A précis of mathematical logic. Translated from the French and German editions by Otto Bird. D. Reidel, Dordrecht, South Holland.
  • Józef Maria Bocheński, (1970). A history of formal logic. 2nd Edition. Translated and edited from the German edition by Ivo Thomas. Chelsea Publishing, New York.
  • Brookshear, J. Glenn (1989). Theory of computation: formal languages, automata, and complexity. Redwood City, Calif.: Benjamin/Cummings Pub. Co. ISBN 0805301437
  • Cohen, R.S, and Wartofsky, M.W. (1974). Logical and Epistemological Studies in Contemporary Physics. Boston Studies in the Philosophy of Science. D. Reidel Publishing Company: Dordrecht, Netherlands. ISBN 90-277-0377-9.
  • Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eds. 1974).
  • Gabbay, D.M., and Guenthner, F. (eds., 2001–2005). Handbook of Philosophical Logic. 13 vols., 2nd edition. Kluwer Publishers: Dordrecht.
  • Hilbert, D., and Ackermann, W, (1928). Grundzüge der theoretischen Logik (Principles of Mathematical Logic). Springer-Verlag. OCLC 2085765
  • Susan Haack, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism, University of Chicago Press.
  • Hodges, W., (2001). Logic. An introduction to Elementary Logic, Penguin Books.
  • Hofweber, T., (2004), Logic and Ontology. Stanford Encyclopedia of Philosophy. Edward N. Zalta (ed.).
  • Hughes, R.I.G., (1993, ed.). A Philosophical Companion to First-Order Logic. Hackett Publishing.
  • Kline, Morris (1972). Mathematical Thought From Ancient to Modern Times. Oxford University Press. ISBN 0-19-506135-7
  • Kneale, William, and Kneale, Martha, (1962). The Development of Logic. Oxford University Press, London, UK.
  • Liddell, Henry George; Scott, Robert. “Logikos”. A Greek-English Lexicon. Perseus Project. Truy cập ngày 8 tháng 5 năm 2009. 
  • Mendelson, Elliott, (1964). Introduction to Mathematical Logic. Wadsworth & Brooks/Cole Advanced Books & Software: Monterey, Calif. OCLC 13580200
  • Harper, Robert (2001). “Logic”. Online Etymology Dictionary. Truy cập ngày 8 tháng 5 năm 2009. 
  • Smith, B., (1989). "Logic and the Sachverhalt". The Monist 72(1):52–69.
  • Whitehead, Alfred NorthBertrand Russell, (1910). Principia Mathematica. Cambridge University Press: Cambridge, England. OCLC 1041146
  • Alexander of Aphrodisias, In Aristotelis An. Pr. Lib. I Commentarium, ed. Wallies, C.I.A.G.
  • Avicenna, Avicennae Opera Venice 1508.
  • Barwise, Jon, ed. (1982), Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, North Holland, ISBN 978-0-444-86388-1.
  • Beaney, Michael, The Frege Reader, London: Blackwell 1997.
  • Bochenski, I.M., A History of Formal Logic, Notre Dame press, 1961.
  • Philotheus Boehner, Medieval Logic, Manchester 1950.
  • Boethius Commentary on the Perihermenias, Secunda Editio, ed. Meiser.
  • Bolzano, Bernard Wissenschaftslehre, 4 Bde Neudr., 2. verb, A. hrsg. W. Schultz, Leipzig I-II 1929, III 1930, IV 1931 (trans. as Theory of science, attempt at a detailed and in the main novel exposition of logic with constant attention to earlier authors. (Edited and translated by Rolf George University of California Press, Berkeley and Los Angeles 1972).
  • Bolzano, Bernard Theory of science (Edited, with an introduction, by Jan Berg. Translated from the German by Burnham Terrell – D. Reidel Publishing Company, Dordrecht and Boston 1973).
  • Boole, George (1847) The Mathematical Analysis of Logic (Cambridge and London); repr. in Studies in Logic and Probability, ed. R. Rhees (London 1952).
  • Boole, George (1854) The Laws of Thought (London and Cambridge); repr. as Collected Logical Works. Vol. 2, (Chicago and London: Open Court, 1940).
  • Jill Vance Buroker (transl. and introduction), Logic or the Art of Thinking, Cambridge University Press, 1996, ISBN 0521482496.
  • Church, Alonzo, 1936-8. "A bibliography of symbolic logic". Journal of Symbolic Logic 1: 121–218; 3:178–212.
  • Ebbesen, S. "Early supposition theory (12th–13th Century)" Histoire, Épistémologie, Langage 3/1: 35–48 (1981).
  • Epictetus, Dissertationes ed. Schenkl.
  • Farrington, B., The Philosophy of Francis Bacon, Liverpool 1964.
  • Feferman, Anita B. (1999). "Alfred Tarski". American National Biography. 21. Oxford University Press. pp. 330–332. ISBN 9780195128000.
  • Feferman, Anita B.; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. ISBN 9780521802406. OCLC 54691904
  • Frege, G., Boole's Logical Calculus and the Concept Script, 1882, in Posthumous Writings transl. P.Long and R. White 1969, pp. 9–46.
  • Gabbay, Dov and John Woods, eds, Handbook of the History of Logic 2004. 1. Greek, Indian and Arabic logic; 2. Mediaeval and Renaissance logic; 3. The rise of modern logic: from Leibniz to Frege; 4. British logic in the Nineteenth century; 5. Logic from Russell to Church; 6. Sets and extensions in the Twentieth century (not yet published); 7. Logic and the modalities in the Twentieth century; 8. The many-valued and nonmonotonic turn in logic; 9. Logic and computation (not yet published); 10. Inductive logic (not yet published); 11. Logic: A history of its central concepts (not yet published) Elsevier, ISBN 0-444-51611-5.
  • Geach, P.T. Logic Matters, Blackwell 1972.
  • Gergonne, Joseph Diaz, (1816) "Essai de dialectique rationelle", in Annales de mathem, pures et appl. 7, 1816/7, 189–228.
  • Goodman, Lenn Evan (2003). Islamic Humanism. Oxford University Press, ISBN 0-19-513580-6.
  • Goodman, Lenn Evan (1992). Avicenna. Routledge, ISBN 0-415-01929-X.
  • Grattan-Guinness, Ivor, 2000. The Search for Mathematical Roots 1870–1940. Princeton University Press.
  • Gracia, J.G. and Noone, T.B., A Companion to Philosophy in the Middle Ages, London 2003.
  • Haaparanta, Leila (ed.) 2009. The Development of Modern Logic Oxford University Press.
  • Heath, T.L., 1949. Mathematics in Aristotle Oxford University Press.
  • Heath, T.L., 1931, A Manual of Greek Mathematics, Oxford (Clarendon Press).
  • Honderich, Ted (ed.). The Oxford Companion to Philosophy (New York: Oxford University Press, 1995) ISBN 0-19-866132-0.
  • Jevons, The Principles of Science, London 1879.
  • Kneale, William and Martha, 1962. The development of logic. Oxford University Press, ISBN 0-19-824773-7.
  • Lukasiewicz, Aristotle's Syllogistic, Oxford University Press 1951.
  • Ockham's Theory of Terms: Part I of the Summa Logicae, translated and introduced by Michael J. Loux (Notre Dame, IN: University of Notre Dame Press 1974). Reprinted: South Bend, IN: St. Augustine's Press, 1998.
  • Ockham's Theory of Propositions: Part II of the Summa Logicae, translated by Alfred J. Freddoso and Henry Schuurman and introduced by Alfred J. Freddoso (Notre Dame, IN: University of Notre Dame Press, 1980). Reprinted: South Bend, IN: St. Augustine's Press, 1998.
  • Peirce, C.S., (1896), "The Regenerated Logic", The Monist, vol. VII, No. 1, p pp. 19-40, The Open Court Publishing Co., Chicago, IL, 1896, for the Hegeler Institute. Reprinted (CP 3.425–455). Internet Archive The Monist 7.
  • Michael Potter (2004), Set Theory and its Philosophy, Oxford Univ. Press.
  • Sextus Empiricus, Against the Grammarians (Adversos Mathematicos I). David Blank (trans.) (Oxford: Clarendon Press, 1998). ISBN 0-19-824470-3.
  • Zermelo, Ernst (1908). “Untersuchungen über die Grundlagen der Mengenlehre I”. Mathematische Annalen 65 (2): 261–281. doi:10.1007/BF01449999.  English translation in Heijenoort, Jean van (1967). “Investigations in the foundations of set theory”. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Source Books in the History of the Sciences. Harvard Univ. Press. tr. 199–215. ISBN 978-0674324497. .

Tài liệu tham khảo

WikiPedia: Logic http://www.etymonline.com/index.php?term=logic http://books.google.com/books?id=9-8fIBVgCQYC&pg=P... http://books.google.com/books?id=lXI7AAAAIAAJ&pg=P... http://books.google.com/books?id=pa0LAAAAIAAJ&pg=P... http://books.google.com/books?id=pa0LAAAAIAAJ&prin... http://www.wikia.com/wiki/w:c:logic http://www.earlham.edu/~peters/courses/log/transti... http://chemistry.mtu.edu/~pcharles/SCIHISTORY/aris... http://plato.stanford.edu/entries/logic-ontology/ http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Per...